#!/usr/bin/env python2
## -*- coding: utf-8 -*-

import sys

def sx(bits, value):
    sign_bit = 1 << (bits - 1)
    return (value & (sign_bit - 1)) - (value & sign_bit)

SymVar_0 = int(sys.argv[1])
ref_214 = SymVar_0
ref_225 = ref_214 # MOV operation
ref_237 = ref_225 # MOV operation
ref_239 = ref_237 # MOV operation
ref_4447276 = ref_239 # MOV operation
ref_4447320 = ref_4447276 # MOV operation
ref_4447355 = (((((((((0x7B) << 8 | 0x6B) << 8 | 0x69) << 8 | 0x6E) << 8 | 0x72) << 8 | 0x7E) << 8 | 0x6C) << 8 | 0x7B) ^ ref_4447320) # MOV operation
ref_4447396 = (((((((((0x7B) << 8 | 0x6B) << 8 | 0x69) << 8 | 0x6E) << 8 | 0x72) << 8 | 0x7E) << 8 | 0x6C) << 8 | 0x7B) ^ ref_4447320) # MOV operation
ref_4447398 = rol(0x10, ref_4447396) # ROL operation
ref_4447402 = (ref_4447398 ^ ((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447449 = ref_4447402 # MOV operation
ref_4447473 = (0x96C62826CF6DE04E ^ ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447490 = ref_4447402 # MOV operation
ref_4447492 = rol(0x15, ref_4447490) # ROL operation
ref_4447496 = (ref_4447492 ^ ((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447525 = ref_4447473 # MOV operation
ref_4447543 = ref_4447496 # MOV operation
ref_4447561 = ref_4447473 # MOV operation
ref_4447563 = rol(0xD, ref_4447561) # ROL operation
ref_4447567 = (ref_4447563 ^ ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447584 = ref_4447496 # MOV operation
ref_4447586 = rol(0x10, ref_4447584) # ROL operation
ref_4447590 = (ref_4447586 ^ ((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447619 = ref_4447567 # MOV operation
ref_4447637 = ref_4447590 # MOV operation
ref_4447655 = ref_4447567 # MOV operation
ref_4447657 = rol(0x11, ref_4447655) # ROL operation
ref_4447661 = (ref_4447657 ^ ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447678 = ref_4447590 # MOV operation
ref_4447680 = rol(0x15, ref_4447678) # ROL operation
ref_4447684 = (ref_4447680 ^ ((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447713 = ref_4447276 # MOV operation
ref_4447837 = ref_4447661 # MOV operation
ref_4447855 = (ref_4447684 ^ 0x800000000000000) # MOV operation
ref_4447873 = ref_4447661 # MOV operation
ref_4447875 = rol(0xD, ref_4447873) # ROL operation
ref_4447879 = (ref_4447875 ^ (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447896 = (ref_4447684 ^ 0x800000000000000) # MOV operation
ref_4447898 = rol(0x10, ref_4447896) # ROL operation
ref_4447902 = (ref_4447898 ^ ((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447931 = ref_4447879 # MOV operation
ref_4447949 = ref_4447902 # MOV operation
ref_4447967 = ref_4447879 # MOV operation
ref_4447969 = rol(0x11, ref_4447967) # ROL operation
ref_4447973 = (ref_4447969 ^ ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4447990 = ref_4447902 # MOV operation
ref_4447992 = rol(0x15, ref_4447990) # ROL operation
ref_4447996 = (ref_4447992 ^ ((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448025 = ref_4447973 # MOV operation
ref_4448043 = ref_4447996 # MOV operation
ref_4448061 = ref_4447973 # MOV operation
ref_4448063 = rol(0xD, ref_4448061) # ROL operation
ref_4448067 = (ref_4448063 ^ ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448084 = ref_4447996 # MOV operation
ref_4448086 = rol(0x10, ref_4448084) # ROL operation
ref_4448090 = (ref_4448086 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448119 = ref_4448067 # MOV operation
ref_4448137 = ref_4448090 # MOV operation
ref_4448155 = ref_4448067 # MOV operation
ref_4448157 = rol(0x11, ref_4448155) # ROL operation
ref_4448161 = (ref_4448157 ^ ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448178 = ref_4448090 # MOV operation
ref_4448180 = rol(0x15, ref_4448178) # ROL operation
ref_4448184 = (ref_4448180 ^ ((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448245 = ref_4448161 # MOV operation
ref_4448263 = ref_4448184 # MOV operation
ref_4448281 = ref_4448161 # MOV operation
ref_4448283 = rol(0xD, ref_4448281) # ROL operation
ref_4448287 = (ref_4448283 ^ (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448304 = ref_4448184 # MOV operation
ref_4448306 = rol(0x10, ref_4448304) # ROL operation
ref_4448310 = (ref_4448306 ^ (((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448339 = ref_4448287 # MOV operation
ref_4448357 = ref_4448310 # MOV operation
ref_4448375 = ref_4448287 # MOV operation
ref_4448377 = rol(0x11, ref_4448375) # ROL operation
ref_4448381 = (ref_4448377 ^ (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448398 = ref_4448310 # MOV operation
ref_4448400 = rol(0x15, ref_4448398) # ROL operation
ref_4448404 = (ref_4448400 ^ ((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448433 = ref_4448381 # MOV operation
ref_4448451 = ref_4448404 # MOV operation
ref_4448469 = ref_4448381 # MOV operation
ref_4448471 = rol(0xD, ref_4448469) # ROL operation
ref_4448475 = (ref_4448471 ^ ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448492 = ref_4448404 # MOV operation
ref_4448494 = rol(0x10, ref_4448492) # ROL operation
ref_4448498 = (ref_4448494 ^ ((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448527 = ref_4448475 # MOV operation
ref_4448545 = ref_4448498 # MOV operation
ref_4448563 = ref_4448475 # MOV operation
ref_4448565 = rol(0x11, ref_4448563) # ROL operation
ref_4448569 = (ref_4448565 ^ ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF) + ref_4448527) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448586 = ref_4448498 # MOV operation
ref_4448588 = rol(0x15, ref_4448586) # ROL operation
ref_4448592 = (ref_4448588 ^ ((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) + ref_4448545) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448621 = ref_4448569 # MOV operation
ref_4448639 = ref_4448592 # MOV operation
ref_4448657 = ref_4448569 # MOV operation
ref_4448659 = rol(0xD, ref_4448657) # ROL operation
ref_4448663 = (ref_4448659 ^ ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) + ref_4448545) & 0xFFFFFFFFFFFFFFFF) + ref_4448621) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448680 = ref_4448592 # MOV operation
ref_4448682 = rol(0x10, ref_4448680) # ROL operation
ref_4448686 = (ref_4448682 ^ ((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF) + ref_4448527) & 0xFFFFFFFFFFFFFFFF)) + ref_4448639) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448715 = ref_4448663 # MOV operation
ref_4448733 = ref_4448686 # MOV operation
ref_4448751 = ref_4448663 # MOV operation
ref_4448753 = rol(0x11, ref_4448751) # ROL operation
ref_4448757 = (ref_4448753 ^ ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF) + ref_4448527) & 0xFFFFFFFFFFFFFFFF)) + ref_4448639) & 0xFFFFFFFFFFFFFFFF) + ref_4448715) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448774 = ref_4448686 # MOV operation
ref_4448776 = rol(0x15, ref_4448774) # ROL operation
ref_4448780 = (ref_4448776 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) + ref_4448545) & 0xFFFFFFFFFFFFFFFF) + ref_4448621) & 0xFFFFFFFFFFFFFFFF)) + ref_4448733) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448809 = ref_4448757 # MOV operation
ref_4448827 = ref_4448780 # MOV operation
ref_4448845 = ref_4448757 # MOV operation
ref_4448847 = rol(0xD, ref_4448845) # ROL operation
ref_4448851 = (ref_4448847 ^ ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) + ref_4448545) & 0xFFFFFFFFFFFFFFFF) + ref_4448621) & 0xFFFFFFFFFFFFFFFF)) + ref_4448733) & 0xFFFFFFFFFFFFFFFF) + ref_4448809) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448868 = ref_4448780 # MOV operation
ref_4448870 = rol(0x10, ref_4448868) # ROL operation
ref_4448874 = (ref_4448870 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF) + ref_4448527) & 0xFFFFFFFFFFFFFFFF)) + ref_4448639) & 0xFFFFFFFFFFFFFFFF) + ref_4448715) & 0xFFFFFFFFFFFFFFFF)) + ref_4448827) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448903 = ref_4448851 # MOV operation
ref_4448921 = ref_4448874 # MOV operation
ref_4448939 = ref_4448851 # MOV operation
ref_4448941 = rol(0x11, ref_4448939) # ROL operation
ref_4448945 = (ref_4448941 ^ ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF) + ref_4448527) & 0xFFFFFFFFFFFFFFFF)) + ref_4448639) & 0xFFFFFFFFFFFFFFFF) + ref_4448715) & 0xFFFFFFFFFFFFFFFF)) + ref_4448827) & 0xFFFFFFFFFFFFFFFF) + ref_4448903) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448962 = ref_4448874 # MOV operation
ref_4448964 = rol(0x15, ref_4448962) # ROL operation
ref_4448968 = (ref_4448964 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) + ref_4448545) & 0xFFFFFFFFFFFFFFFF) + ref_4448621) & 0xFFFFFFFFFFFFFFFF)) + ref_4448733) & 0xFFFFFFFFFFFFFFFF) + ref_4448809) & 0xFFFFFFFFFFFFFFFF)) + ref_4448921) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_4448997 = ((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_4447449) & 0xFFFFFFFFFFFFFFFF) + ref_4447525) & 0xFFFFFFFFFFFFFFFF)) + ref_4447637) & 0xFFFFFFFFFFFFFFFF) ^ ref_4447713) + ref_4447837) & 0xFFFFFFFFFFFFFFFF)) + ref_4447949) & 0xFFFFFFFFFFFFFFFF) + ref_4448025) & 0xFFFFFFFFFFFFFFFF)) + ref_4448137) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_4448245) & 0xFFFFFFFFFFFFFFFF)) + ref_4448357) & 0xFFFFFFFFFFFFFFFF) + ref_4448433) & 0xFFFFFFFFFFFFFFFF)) + ref_4448545) & 0xFFFFFFFFFFFFFFFF) + ref_4448621) & 0xFFFFFFFFFFFFFFFF)) + ref_4448733) & 0xFFFFFFFFFFFFFFFF) + ref_4448809) & 0xFFFFFFFFFFFFFFFF)) + ref_4448921) & 0xFFFFFFFFFFFFFFFF) # MOV operation
ref_4448999 = (ref_4448997 ^ ref_4448945) # XOR operation
ref_4449006 = ref_4448999 # MOV operation
ref_4449008 = rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_4447355) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_4447543) & 0xFFFFFFFFFFFFFFFF) + ref_4447619) & 0xFFFFFFFFFFFFFFFF)) + ref_4447855) & 0xFFFFFFFFFFFFFFFF) + ref_4447931) & 0xFFFFFFFFFFFFFFFF)) + ref_4448043) & 0xFFFFFFFFFFFFFFFF) + ref_4448119) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_4448263) & 0xFFFFFFFFFFFFFFFF) + ref_4448339) & 0xFFFFFFFFFFFFFFFF)) + ref_4448451) & 0xFFFFFFFFFFFFFFFF) + ref_4448527) & 0xFFFFFFFFFFFFFFFF)) + ref_4448639) & 0xFFFFFFFFFFFFFFFF) + ref_4448715) & 0xFFFFFFFFFFFFFFFF)) + ref_4448827) & 0xFFFFFFFFFFFFFFFF) + ref_4448903) & 0xFFFFFFFFFFFFFFFF)) # MOV operation
ref_4449010 = (ref_4449008 ^ ref_4448968) # XOR operation
ref_4449017 = (ref_4449010 ^ ref_4449006) # XOR operation
ref_4530841 = ref_4449017 # MOV operation
ref_4558087 = ref_4530841 # MOV operation
ref_4639854 = ref_4558087 # MOV operation
ref_4667070 = ref_4639854 # MOV operation
ref_4667108 = ref_4667070 # MOV operation
ref_4667120 = ref_4667108 # MOV operation
ref_4667122 = ref_4667120 # MOV operation

print ref_4667122 & 0xffffffffffffffff
